| 1. | Backward chaining is implemented in logic programming by SLD resolution.
|
| 2. | The backward chaining approach is often employed by expert systems.
|
| 3. | In addition, some rules engines support backward chaining.
|
| 4. | Backward chaining is a bit less straight forward.
|
| 5. | This could be especially powerful with backward chaining.
|
| 6. | Both forward and backward chaining inference is available.
|
| 7. | There are mainly two modes for an inference engine : forward chaining and backward chaining.
|
| 8. | Backward chaining systems usually employ a depth-first search strategy, e . g.
|
| 9. | In backward chaining the engine looks for antecedents that can satisfy one of the current goals.
|
| 10. | Programming languages such as Prolog, Knowledge Machine and ECLiPSe support backward chaining within their inference engines.
|